Argument & Computation Community Resources (ACCR) corner

Language Resources for Studying Argument

This paper describes the development of a written corpus of argumentative reasoning. Arguments in the corpus have been analysed using state of the art techniques from argumentation theory and have been marked up using an open, reusable markup language. A number of the key challenges enountered during the process are explored, and preliminary observations about features such as intercoder reliab...

Argument & Computation: Change and continuity

Argument & Computation (A&C) enters its seventh year, renewed in two respects: • A new access policy with a new publisher: the journal adopts a full open access policy with no fees for authors who submit a paper during coming two years at least. We are indebted to the new publisher IOS Press for its enthusiastic support in enabling and promoting this important transition; • A renewed editorial ...

Argument structure: processing evidence for computation

Toward practical argument systems for verifiable computation

viii Chapter  Introduction  Chapter  Related work  . Approaches that make assumptions about failure modes . . . . . . . . . . . .  . Approaches that apply to a restricted class of computations . . . . . . . . . .  . General solutions that are not geared toward practice . . . . . . . . . . . . .  . Systems that share an ethos with Zaatar and Pantry . . . . . . . . . . . . . . .  ...

Community Computation

In this thesis we lay the foundations for a distributed, community-based computing environment to tap the resources of a community to better perform some tasks, either computationally hard or economically prohibitive, or physically inconvenient, that one individual is unable to accomplish efficiently. We introduce community coding, where information systems meet social networks, to tackle some ...